/LMAR=0/XLINE=10/FONT#0=BASL30/FONT#1=SIGN57/FONT#2=SHD40/FONT#3=BASI30/FONT#4=BASB30/FONT#5=NGR25/FONT#6=NGR20/TMAR=50/PMAR=2100/BMAR=50



␈↓"∧␈↓ ↓4␈↓␈α?␈α?␈α?␈α?␈α⊂␈↓↓THEORY  FORMATION:␈↓

␈↓"π␈↓ ↓4␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α3␈↓¬A Proposal For␈↓

␈↓"π␈↓ ↓4␈↓␈α?␈α?␈α/␈↓↓A  SYSTEM  WHICH  CAN
␈↓"π␈↓ ↓4␈↓↓␈α?␈α?␈α≡DEVELOP  MATHEMATICAL
␈↓"π␈↓ ↓4␈↓↓␈α?␈α?␈α?␈α∀CONCEPTS  INTUITIVELY␈↓










␈↓"π␈↓ ↓4␈↓␈↓αDOUG LENAT

␈↓"π␈↓ ↓4␈↓αAVRA COHN


␈↓"π␈↓ ↓4␈↓αSTANFORD UNIVERSITY
␈↓"π␈↓ ↓4␈↓αARTIFICIAL INTELLIGENCE LABORATORY



␈↓"π␈↓ ↓4␈↓THIRD  Sketch

␈↓"π␈↓ ↓4␈↓␈↓βNot for distribution␈↓











␈↓"∧␈↓ ↓4␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α;␈↓εFebruary 3, 1975␈↓ D